
freeGSD:
	cd kernel && make
	mkdir iso
	mkdir -p iso/boot/grub
	cp stage2_eltorito iso/boot/grub
	cp kernel/freeGSD iso/
	cp menu.lst iso/boot/grub
	mkisofs -R -b boot/grub/stage2_eltorito -no-emul-boot \
                -boot-load-size 4 -boot-info-table -o grub.iso iso

clean:
	rm -f grub.iso
	rm -rf iso
	cd kernel && make clean
